James Caldwell Department of Computer Science University of Wyoming Laramie, WYDATE: October 31, 2016

Source URL: www.cs.uwyo.edu

• Automated theorem proving
• Theoretical computer science
• Computing
• Mathematics
• Nuprl
• Interactive Theorem Proving
• Proof assistant
• Robert Lee Constable
• ACL2
• Formal methods
• Computer science
• Automated reasoning

On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Model checking
• Finite automata
• Linear temporal logic
• Mathematical logic
• Formal languages
• Mathematics
• Bchi automaton
• Omega language
• Markov decision process
• Computation tree logic

1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science

Source URL: precision.moscito.org

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Cryptographic software
• Secure communication
• Cryptographic protocols
• Mbed TLS
• Cipher suite
• OpenSSL
• Forward secrecy
• Post-quantum cryptography
• HTTPS

Dilian Gurov’s CV Professional preparation   PhD in Computer Science, 1998, Dept. of Computer Science, University of Victoria, Canada.

Source URL: www.nada.kth.se

• Software testing
• Software verification
• KTH Royal Institute of Technology
• Computer science
• Verification
• Electromagnetism
• Engineering

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

Source URL: formal.iti.kit.edu

• Computational complexity theory
• Theoretical computer science
• Logic in computer science
• Complexity classes
• Mathematical optimization
• Boolean algebra
• NP-complete problems
• Boolean satisfiability problem
• 2-satisfiability
• Horn-satisfiability
• P versus NP problem
• Exponential time hypothesis

One-shot learning by inverting a compositional causal process Ruslan Salakhutdinov Dept. of Statistics and Computer Science University of Toronto

Source URL: cims.nyu.edu

• One-shot learning
• Artificial neural network
• Bayesian inference
• Outline of machine learning
• Statistics
• Probability and statistics
• Applied mathematics

Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland

Source URL: www.dcs.ed.ac.uk

• Business
• Economy
• Queueing theory
• Management
• Graph theory
• Markov chain
• Service level
• Service-level agreement
• Airbag
• Statistical hypothesis testing
• Sensitivity analysis
• PEPA

Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Artificial intelligence
• Human behavior
• Cognitive science
• Logic
• Linear temporal logic
• Computation tree logic
• Autonomous agent
• Probabilistic logic
• Trust
• Humanrobot interaction
• Practical reason

Vanessa A. Lefler Curriculum Vitae Department of Political Science & International Relations 1301 E. Main Street, MTSU Box 29 Middle Tennessee State University

Source URL: vanessalefler.com

• Conflict
• Conflict resolution
• Dispute resolution
• Family therapy
• Reconciliation
• Tennessee
• Patrick James
• Mediation
• Intergovernmental organization
• Human behavior
• United States
• Psychology

TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks Hussein Darir, Hussein Sibai, Nikita Borisov, Geir Dullerud, Sayan Mitra Coordinated Science Laboratory University of Illinois at Urbana-Champaign

Source URL: mitras.ece.illinois.edu